Bruno Schulz czyta Conrada v. 2

2 Ludovic Meunier and Bruno

We present our ongoing work on creating an automatically generated encyclopedia of special functions. The aim is to exploit recent progress in computer algebra in order to synthesize web pages on special functions and provide some level of interactivity.

Master Informatique , 2 ème année Bruno

Bruno Zeller

Bruno Caruso - n. 39

System Description : E 1 . 8 Stephan Schulz

E is a theorem prover for full first-order logic with equality. It reduces first-order problems to clause normal form and employs a saturation algorithm based on the equational superposition calculus. E is built on shared terms with cached rewriting, and employs several innovations for efficient clause indexing. Major strengths of the system are automatic problem analysis and highly flexible se...